nested quantifiers gate problems